\begin{tabbing}
normalize{-}constraint($k$;$p$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=let $f$,$r$ = $p$\+
\\[0ex]in
\\[0ex]callbyvalue($r$;$r$.callbyvalue(map{-}eval($i$.$f$($i$);upto($k$));${\it as}$.$<\lambda$$n$.${\it as}$[$n$]?$f$($n$), $r$$>$))
\-
\end{tabbing}